• HOME
• ABOUT US
  • Organization
  • Personnel
• NEWS&EVENTS
  • News & Events archive
  • Newsletter archive
  • Conference archive
  • Travel reports
• COOPERATION
  • International Involvement
  • National Involvement
  • Regional Involvement
• EDUCATION
  • Master's Programmes
  • TUCS Graduate Programmes
  • Information for Students
  • Courses
  • TUCS Short Courses
• PUBLICATIONS
  • TUCS Publication Series
  • How to Publish in TUCS Series
  • Publication Search
  • Publication Graph
  • Publication Input
  • Publication Input Guide
  • JuFo Browser
• RESEARCH
  • Focus areas
  • Research Programmes
  • Research Units
  • Distinguished Lectures

Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search

• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Department: Any ÅAU / Department of Information Technologies UTU / Department of Information Technology UTU / Department of Mathematics and Statistics UTU / Turku School of Economics, Institute of Information Systems Sciences

Research Unit: Any Algorithmics and Computational Intelligence Group (ACI) Biomathematics Research Unit (BIOMATH) Communication Systems (ComSys) Computational Biomodeling Laboratory (Combio Lab) Data Mining and Knowledge Management Laboratory Distributed Systems Laboratory (DS Lab) Embedded Computer and Electronic Systems (ECES) Embedded Systems Laboratory (ESLAB) FUNDIM, Fundamentals of Computing and Discrete Mathematics Institute for Advanced Management Systems Research (IAMSR) Learning and Reasoning Lab Software Construction Laboratorium Software Development Laboratory (SwDev) Software Engineering Laboratory (SE Lab) Turku BioNLP Group Turku Optimization Group (TOpGroup) UTU Information Systems Science (ISS)

Publication type: Any Monographs Edited books Edited special issues of journals Edited proceedings Articles in journals Articles in proceedings Chapters in edited books Ph.D. thesis Lic. thesis Technical reports

Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points

Sort output by publication type Sort output by publication year

and display below and download in BibTeX and download as CSV and download as 2014-CSV

Monographs (4):

• Ralph-Johan Back, Joakim von Wright, Mathematics with a Little Bit of Logic: Structured Derivations in High-School Mathematics. Manuscript, 2006.
• Ralph-Johan Back, Joakim von Wright, Matematiikka logiikan avulla: rakenteiset päättelyketjut lukion matematiikassa. Manuscript, 2006.
• Ralph-Johan Back, Joakim von Wright, Matematik med litet logic: Strukturerade härledningar i gymnasiematematiken. Manuscript, 2005.
• Ralph-Johan Back, Joakim von Wright, Refinement Calculus: A Systematic Introduction. Graduate Texts in Computer Science, Springer-Verlag, 1998.

Articles in journals (18):

• Kim Solin, Joakim von Wright, Enabledness and Termination in Refinement Algebra. Science of Computer Programming , 2007.
• Joakim von Wright, Towards a Refinement Algebra. Science of Computer Programming 51(1-2), 23–45, 2004.
• Ralph-Johan Back, Joakim von Wright, Compositional Action System Refinement. Formal Aspects of Computing 15(2), 103–117, 2003.
• Ralph-Johan Back, Anna Mikhajlova, Joakim von Wright, Class Refinement as Semantics of Correct Object Substitutability. Formal Aspects of Computing 12, 18–40, 2000.
• Ralph-Johan Back, Joakim von Wright, Encoding, Decoding and Data Refinement. Formal Aspects of Computing 12, 313–349, 2000.
• Ralph-Johan Back, Joakim von Wright, Contracts, Games and Refinement. Information and Computation 156, 25–45, 2000.
• Ralph-Johan Back, Joakim von Wright, Encoding, Decoding, and Data Refinement. Formal Aspects of Computing , 2000.
• Ralph-Johan Back, Joakim von Wright, Reasoning Algebraically about Loops. Acta Informatica 36, 295–334, 1999.
• Ralph-Johan Back, Jim Grundy, Joakim von Wright, Structured Calculational Proof. Formal Aspects of Computing 9, 469–483, 1998.
• Ralph-Johan Back, Jim Grundy, Joakim von Wright, Structured Calculation Proof. 9, 1997.
• Ralph-Johan Back, Joakim von Wright, Games and Winning Strategies. 53(3), 1995.
• Ralph-Johan Reinhold Back, Joakim von Wright, Game and Winning Strategies. Information Processing Letters 53(3), 165–172, 1995.
• Joakim von Wright, Representing Higher Order Logic Proofs in HOL. The Computer Journal 38(2), 171--179, 1995.
• Joakim von Wright, The Lattice of Data Refinement. Acta Informatica 31, 105–135, 1994.
• Ralph-Johan Back, Joakim von Wright, Statement Inversion and Strongest Postcondition. 20, 1993.
• Ralph-Johan Back, Joakim von Wright, Combining Angels, Demons and Miracles in Program Specifications. 100, 1992.
• Ralph-Johan Back, Joakim von Wright, Refinement Concepts Formalized in Higher Order Logic. 2, 1990.
• Ralph-Johan Back, Joakim von Wright, Duality in Specification Languages: A Lattice Theoretical Approach. 27(7), 1990.

Articles in proceedings (41):

• Kim Solin, Joakim von Wright, Refinement Algebra with Operators for Enabledness and Termination. In: Mathematics of Program Construction, 8th International Conference, MPC 2006, Lecture Notes in Computer Science 4014, 397–415, Springer, 2006.
• Ralph-Johan Back, Mia Peltomäki, Tapio Salakoski, Joakim von Wright, Structured Derivations Supporting High-School Mathematics. In: A. Lavonen J. & Meisalo V Laine (Ed.), Current research on mathematics and science education, Research Report 253, 104-122, University of Helsinki, 2004.
• Orieta Celiku, Joakim von Wright, Implementing Angelic Nondeterminism. In: 10th Asia-Pacific Software Engineering Conference (APSEC 2003), 10-12 December 2003, Chiang Mai, Thailand, IEEE Computer Society, 2003.
• Linda Grandell, Joakim von Wright, An Introductory Web-Based Course to Enhance High School Students’ Knowledge of Computer Science. In: Proceedings of the Third Finnish/Baltic Sea Conference on Computer Science Education, 2003.
• Kim Solin, Joakim von Wright, Demonic Refinement Algebra with Domain. In: Proceedings of the 15th Nordic Workshop on Programming Theory , Reports on Computer Science and Mathematics, Ser. B, 2003.
• Ralph-Johan Back, Tanja Kavander, Martin Nylund, Mia Peltomäki, Tapio Salakoski, Joakim von Wright, Matemaattinen todistaminen ja abstrahtointi lukion matematiikan opetuksessa - opetuskokeilu rakenteisten johtojen avulla. In: Aineenopettajankoulutuksen vaihtoehdot jag tutkimus 2002, Ainedidaktiikan symposiumi 1.2.2002, 24–33, 2002.
• Ralph-Johan Back, Tanja Kavander, Martin Nylund, Mia Peltomäki, Tapio Salakoski, Joakim von Wright, Teaching High-School Mathematics with Structured Derivations in Hypertext Format. In: International Conference on Computer Systems and Technologies - CompSysTech'2002, 2002.
• Ralph-Johan Back, Joakim von Wright, Compositional Action System Refinement. In: Proceedings of Refinement Workshop REFINE2002, 2002.
• Orieta Celiku, Joakim von Wright, Theorem Prover Support for Precondition and Correctness Calculation. In: 4th International Conference on Formal Engineering Methods, Lecture Notes in Computer Science 2495, 299–310, Springer-Verlag, 2002.
• Joakim von Wright, From Kleene Algebra to Refinement Algebra. In: Mathematics of Program Construction (MPC'02), Lecture Notes in Computer Science 2386, 233–262, Springer-Verlag, 2002.
• Orieta Celiku, Joakim von Wright, Transformational Reasoning with Incomplete Information. In: TPHOLs 2001: Supplemental Proceedings, Informatics Report Series, University of Edinburgh, Division of Informatics, 2001.
• Tanja Kavander, Martin Nylund, Mia Peltomäki, Tapio Salakoski, Joakim von Wright, Teaching High-School Mathematics with Structured Derivations in Hypertext Format. In: Proceedings of the 1st Nordic - Baltic Sea Conference on Computer Science Education, 46-52, 2001.
• Joakim von Wright, Algebraic Reasoning About Guarded Loops. In: Dagstuhl Seminar 10810: Applications of Kleene Algebra, Schloss Dagstuhl, 2001.
• Ralph-Johan Back, Joakim von Wright, Contracts as Mathematical Entities in Programming Logic. In: Y. Kinoshita (Ed.), Workshop on Abstraction and Refinement, Elsevier, 2000.
• Linas Laibinis, Joakim von Wright, Functional Procedures in Higher-Order Logic. In: Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000, Lecture Notes in Computer Science 1869, 372 – 386, Springer-Verlag, 2000.
• Joakim von Wright, Distance tutorials in a Systems Design course. In: The 5th SIGCSE/SIGCUE Conference on Innovation and Technology in Computer Science Education (ITiCSE 2000), SIGCSE Bulletin 32, 105 - 107, ACM Press, 2000.
• Ralph Back, Anna Mikhajlova, Joakim von Wright, Reasoning About Interactive Systems. In: J. M. Wing, J. Woodcock, J. Davies (Eds.), Proceedings of the World Congress on Formal Methods (FM'99), Lecture Notes in Computer Science 1709, 1460–1476, Springer-Verlag, 1999.
• Ralph-Johan Back, Joakim von Wright, A Method for Teaching Rigorous Mathematical Reasoning. In: International Conference on Technology in Mathematics Teaching (ICTMT4), 1999.
• Joakim von Wright, Learning Mathematics with a Theorem Prover. In: International Conference on Technology in Mathematics Teaching (ICTMT4), 1999.
• Linas Laibinis, Joakim von Wright, What's in a Specification. In: Martin Schwenke Trevor Vickers Jim Grundy (Ed.), International Refinement Workshop and Formal Methods Pacific (IRW/FMP'98), Discrete Mathematics and Theoretical Computer Science, 180–192, Springer-Verlag, 1998.
• Anna Mikhajlova, Joakim von Wright, Proving Isomorphism of First-Order Logic Proof Systems in HOL. In: Malcolm Newey Jim Grundy (Ed.), Theorem Proving in Higher-Order Logics (TPHOLs'98), Lecture Notes in Computer Science 1479, 295-314, Springer-Verlag, 1998.
• Rimvydas Ruksenas, Joakim von Wright, A Tool for Data Refinement. In: Theorem Proving in Higher Order Logics, Lecture Notes in Computer Science 1479, 423–441, Springer-Verlag, 1998.
• Joakim von Wright, Extending Window Inference. In: Malcolm Newey Jim Grundy (Ed.), Theorem Proving in Higher-Order Logics (TPHOLs'98), Lecture Notes in Computer Science 1479, 17–32, Springer-Verlag, 1998.
• Ralph-Johan Back, Joakim von Wright, Contracts, Game and Refinement. In: 4th Workshop on Expressiveness in Concurrency, Electronic Notes of Theoretical Computer Science, Elsevier, 1997.
• Michael Butler, Jim Grundy, Thomas Långbacka, Rimvydas Ruksenas, Joakim von Wright, The Refinement Calculator: Proof Support for Program Refinement. In: Formal Methods Pacific'97: Proceedings of FMP'97, Discrete Mathematics and Theoretical Computer Science, 40–61, Springer-Verlag, 1997.
• Linas Laibinis, Joakim von Wright, Context Handling in the Refinement Calculus framework. In: Selected papers from the 8th Nordic Workshop on Programming Theory, Research Reports of Department of Informatics, 139--149, 1997.
• Thomas Långbacka, Joakim von Wright, Refining Reactive Systems in HOL Using Action Systems. In: TPHOLs'97 - Theorem Proving in Higher Order Logics: 10th International Conference, Lecture Notes in Computer Science 1275, 183–197, Springer-Verlag, 1997.
• Ralph-Johan Back, Joakim von Wright, Interpreting Nondeterminism in the Refinement Calculus. In: Proceedings of the 7th Refinement Workshop, Springer-Verlag, 1996.